High Performance Code Generation for Stencil Computation on Heterogeneous Multi-device Architectures Pei Li, Elisabeth Brunet, Raymond Namyst To cite this version:

Source URL: hal.inria.fr

• Computer architecture
• Computing
• Parallel computing
• GPGPU
• Software
• Graphics hardware
• Computational science
• OpenCL compute devices
• OpenCL
• General-purpose computing on graphics processing units
• Graphics processing unit
• Kernel

Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the

Source URL: d3s.mff.cuni.cz

• Software engineering
• Computing
• Systems engineering
• Architecture description language
• Software architecture
• Systems architecture
• Software testing
• Architecture Analysis & Design Language
• Programming tool
• Static program analysis
• SIGNAL
• Abstract interpretation

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Source URL: web.cs.ucdavis.edu

• Software engineering
• Computer programming
• Software testing
• Software metrics
• Abstract interpretation
• Symbolic execution
• Assertion
• Constant
• Code coverage

Extending  Code  Generation  to     Support  Platform-­‐Independent  Event-­‐B  Models     Asieh  Salehi,  Michael  Butler  and  Colin  Snook   University  of

Source URL: wiki.event-b.org

• Software engineering
• Programming language theory
• Computer programming
• Cross-platform software
• Procedural programming languages
• E
• Pascal
• C

Code generation for polynomial multiplication ´ Ling Ding1 and Eric Schost2 1

Source URL: www.csd.uwo.ca

• Mathematics
• Arithmetic
• Computational complexity theory
• Multiplication
• Algebra
• Finite fields
• Karatsuba algorithm
• XTR
• Polynomials
• Recurrence relation
• Time complexity
• Algorithm

Review Exercises Chapter 2 1. What are the four major functional building blocks in the core network of 3GPP Release 5? 2. What are GERAN and UTRAN in 3GPP? What are the major components in GERAN and UTRAN?

Source URL: people.cs.nctu.edu.tw

• Technology
• Mobile technology
• Wireless
• Mobile telecommunications
• Network protocols
• Code division multiple access
• Videotelephony
• Packet data serving node
• 3GPP
• GPRS Tunnelling Protocol
• GERAN
• 3rd Generation Partnership Project 2

EXPERIENCE WITH THE COST OF DIFFERENT COVERAGE GOALS FOR TESTING Brian Marick Motorola, Inc. In coverage-based testing, coverage conditions are generated from the program text. For example, a branch generates two conditi

Source URL: www.exampler.com

• Software testing
• Software engineering
• Code coverage
• Mutation testing
• Unit testing
• Infinite loop
• Test data generation

Professional H.265/HEVC Encoder LSI Toward High-Quality 4K/8K Broadcast Infrastructure Code Name: NARA (Next-generation encoder Architecture for Real-time HEVC Application) Hiroe Iwasaki, Takayuki Onishi, Ken Nakamura,

Source URL: www.hotchips.org

• Video compression
• Video
• Data compression
• Imaging
• High Efficiency Video Coding
• Ultra-high-definition television
• H.264/MPEG-4 AVC
• H.261
• 4K resolution
• Coding tree unit
• 8K resolution
• Deblocking filter

    Postdoctoral  Researcher:    Code  transformation  and   automated  generation  for  UQ  and  performance  

Source URL: xpacc.illinois.edu

April 13, 2016 THE WHITE HOUSE Office of the Press Secretary FACT SHEET: At White House Science Fair, President Obama Calls on This Generation of Students to Tackle the Grand Challenges of Our Time WASHINGTON, DC – Tod

Source URL: www.whitehouse.gov

• Education
• Education policy
• Experiential learning
• Science and technology
• Science education
• Science
• technology
• engineering
• and mathematics
• Code.org
• USA Science and Engineering Festival
• Citizen science
• Globaloria
• C-STEM Center
• National Writing Project